\documentclass[10pt, french]{beamer}

\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[frenchb]{babel}
\usepackage{graphicx}
\usepackage{amsmath}

\selectlanguage{french}

\usetheme{Frankfurt}

\AtBeginSection[]
{
   \begin{frame}
       \frametitle{Plan}
       \tableofcontents[currentsection]
   \end{frame}
}

\title[MEMO-F-400 - Travaux préparatoires au mémoire]{Distribution de code dSL avec contraintes}
\subtitle{MEMO-F-400 - Travaux préparatoires au mémoire}
\author{Olivier Sputael}
\institute[U.L.B.]{Universit\'e Libre de Bruxelles (U.L.B.), Belgium}
\date{\today}

\begin{document}

\frame{\titlepage}

\begin{frame}{Plan}
	\tableofcontents
\end{frame}

\section{Introduction}
\begin{frame}{dSL ?}
	\textit{Distributed} Supervision Language
	\medskip
	\begin{center}
		\includegraphics[scale=0.8]{images/distrib.pdf}
	\end{center}
\end{frame}
\begin{frame}[fragile]{Particularité: le bloc \texttt{WHEN}}
	\begin{itemize}
		\item Structure: 
	\end{itemize}
	\begin{verbatim}
		        WHEN condition THEN
		            instruction_list
		        END_WHEN
	\end{verbatim}
	\begin{itemize}
		\item Exécution sur flanc montant de la condition
		\medskip
		\item Dans l'ordre du fichier
	\end{itemize}
\end{frame}

\section{Premier problème: la distribution}
\begin{frame}{Explication du problème}
	\begin{center}
		\includegraphics[scale=0.8]{images/distrib_how.pdf}
	\end{center}
	\begin{itemize}
		\item Critère de performance: un minimum de communications
		\medskip
		\item Instructions et blocs \texttt{WHEN} sont atomiques
	\end{itemize}
\end{frame}
\begin{frame}{Etapes de la distribution}
	\begin{enumerate}
		\item Contraintes sur certaines variables globales
		\bigskip
		\item Distribution des instructions liées à ces contraintes
		\bigskip
		\item Distribution des instructions restantes
	\end{enumerate}
\end{frame}
\begin{frame}{Distribution des instructions liées aux contraintes}
	\begin{itemize}
		\item Liaison directe
		\medskip
		\item Liaison indirecte
	\end{itemize}
	\begin{center}
		\includegraphics[scale=1.5]{images/graph.jpg}
	\end{center}
\end{frame}

\section{Nouveau problème: la redistribution}
\begin{frame}{La redistribution}
	\begin{center}
		\includegraphics[scale=1]{images/redistrib.pdf}
	\end{center}
\end{frame}
\begin{frame}{Démarche: \textit{divide and conquer}}
	Décomposition du problème en sous-problèmes: 
	\bigskip
	\begin{itemize}
		\item Comparaison des deux versions du code
		\bigskip
		\item Re-coloration de noeuds non modifiés
		\bigskip
		\item Coloration des nouveaux noeuds
	\end{itemize}
\end{frame}

\section{Stage et mémoire}
\begin{frame}
	\begin{itemize}
		\item Stage: Macq Electronique
		\item Mémoire: Redistribution de code avec un minimum de changement
	\end{itemize}
	\begin{center}
		\includegraphics[scale=0.8]{images/image_finale.pdf}
	\end{center}
\end{frame}

\begin{frame}
	\begin{center}
		\Huge{Questions ?}
	\end{center}
\end{frame}

\end{document}